xen/arm64: head: Improve coding style and document create_pages_tables()
authorJulien Grall <julien.grall@arm.com>
Fri, 7 Jun 2019 20:53:37 +0000 (21:53 +0100)
committerJulien Grall <julien.grall@arm.com>
Wed, 31 Jul 2019 19:32:34 +0000 (20:32 +0100)
commit72e06840b1d7aef37d38bf4b99955e37da230b14
tree3cae2d777125fd18c80bcaa6a99b2ff06916e837
parentf9de8897466397f7e1b96074af704ab08f7c2f05
xen/arm64: head: Improve coding style and document create_pages_tables()

Adjust the coding style used in the comments within create_pages_tables()

Lastly, document the behavior and the main registers usage within the
function. Note that x25 is now only used within the function, so it does
not need to be part of the common register.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
xen/arch/arm/arm64/head.S